Languages and Programming

Results: 5418



#Item
11

An application of computable distributions to the semantics of probabilistic programming languages Daniel Huang1 and Greg Morrisett2 1

Add to Reading List

Source URL: danehuang.github.io

Language: English - Date: 2017-05-24 19:52:40
    12

    Essentials of Programming Languages Language VersionApril 2, 2010 The Essentials of Programming Languages language in DrScheme provides a subset of functions and syntactic forms of mzscheme—mostly the ones that

    Add to Reading List

    Source URL: download.plt-scheme.org

    Language: English - Date: 2010-04-02 17:28:46
      13

      Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

      Add to Reading List

      Source URL: web.student.chalmers.se

      Language: English - Date: 2010-08-22 03:55:59
        14

        Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo

        Add to Reading List

        Source URL: iswc2011.semanticweb.org

        Language: English - Date: 2011-09-21 14:16:02
          15

          BATBAMBAMMBA: Boolean and Arithmetic Languages Oregon Programming Languages Summer School Ronald Garcia 4 July

          Add to Reading List

          Source URL: www.cs.uoregon.edu

          Language: English - Date: 2017-07-06 17:04:21
            16

            A  Compiler  and  Run-­‐1me  System  for   Network  Programming  Languages   Christopher  Monsanto,  Princeton   Nate  Foster,  Cornell   Rob  Harrison,  West  Poi

            Add to Reading List

            Source URL: frenetic-lang.org

            Language: English - Date: 2018-03-01 22:09:42
              17

              ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s

              Add to Reading List

              Source URL: cri.mines-paristech.fr

              Language: English - Date: 2015-03-30 04:19:54
                18

                ASPLOS23rd International Conference on Architectural Support for Programming Languages and Operating Systems

                Add to Reading List

                Source URL: www.asplos2018.org

                - Date: 2017-10-05 21:12:08
                  19

                  glue here Zimbu is a new, experimental programming language. It is a very practical, no-nonsense kind of language. It mixes the good things of many existing languages and then throws in a few brand new ideas to make pro

                  Add to Reading List

                  Source URL: www.moolenaar.net

                  - Date: 2017-12-13 14:01:10
                    20

                    Combining Static and Dynamic Contract Checking for Curry Michael Hanus University of Kiel Programming Languages and Compiler Construction

                    Add to Reading List

                    Source URL: www.sci.unich.it

                    - Date: 2017-10-23 05:14:50
                      UPDATE